doc: Disable extension incompatible with Sphinx 3
authorBen Hutchings <benh@debian.org>
Sat, 22 Aug 2020 02:13:44 +0000 (03:13 +0100)
committerSalvatore Bonaccorso <carnil@debian.org>
Sun, 23 Aug 2020 13:44:14 +0000 (14:44 +0100)
commit2293a3e81e91248e51ce76d8fd87429dec77d2a4
tree4beb4f2f6f1bedd47e7079f3aa86b4258a84ff3a
parent1913cfd4c34c376ec3e22096336cd1907a0c8d06
doc: Disable extension incompatible with Sphinx 3

The cdomain extension needs major changes to work with Sphinx 3.
For now, disable it.

Gbp-Pq: Topic debian
Gbp-Pq: Name doc-disable-extension-incompatible-with-sphinx-3.patch
Documentation/conf.py